arm: return int from *_dcache_va_range
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 23 Oct 2014 10:03:47 +0000 (12:03 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 23 Oct 2014 10:03:47 +0000 (12:03 +0200)
commit71d64afe3e122f22bebf9ae277f573b849eb75f4
treeeed9b1b2523d5777d813bd12821dbabf9d1eb7fe
parent2ca94c6bff41be3e8676f28a5383b87d0e46280d
arm: return int from *_dcache_va_range

These functions cannot really fail on ARM, but their x86 equivalents can
(-EOPNOTSUPP). Change the prototype to return int.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Reviewed-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/include/asm-arm/page.h